Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
561	DATA PRODUCT SPECIFICATION FOR SPIKE TEST Version 1-01 Document Control Number05-23 Add to Reading List Source URL: oceanobservatories.org Language: English - Date: 2015-11-16 09:14:59 Theoretical computer science Algorithm Mathematical logic Data
562	Colloquium Department of Computer Science Dr. Darren Strash Darren graduated in 2011 with a PhD in Computer Science from University of California, Irvine, with Mike Goodrich and David Eppstein as advisors. After graduati Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2015-11-12 17:19:02 NP-complete problems Theoretical computer science Analysis of algorithms Parameterized complexity Independent set Algorithm Kernelization Book:Graph Theory Book:Graph Algorithms
563	IJCRS2016 Special Memorial Session for Professor Zdzislaw Pawlak The 2016 International Joint Conference on Rough Sets will be held in Santiago, Chile, October 7-11, 2016. It is the 1st time to have an international roug Add to Reading List Source URL: www.sistemasdeingenieria.cl Language: English - Date: 2016-07-16 22:00:10 Rough set Theoretical computer science Abstract management Zdzisaw Pawlak
564	Microsoft PowerPoint - autoprog-splash-oct11 Add to Reading List Source URL: onward-conference.org Language: English - Date: 2014-05-20 07:19:23 Digital signal processing Theoretical computer science Algorithm Mathematical logic Program optimization Discrete Fourier transform Fourier
565	Lecture 30: Considerations When Using Collective Operations William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-13 14:27:53 Theoretical computer science Computability theory Pipeline Algorithm Recursion
566	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
567	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine
568	U UNPLUGGED Happy Maps Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used to delve deeper when time allows. Add to Reading List Source URL: code.org Language: English - Date: 2016-08-19 15:32:24 Educational psychology Teaching Algorithm Mathematical logic Theoretical computer science Lesson Educational technology Educational assessment Dance Dance Revolution
569	Vol. 6, NoISSNonline Add to Reading List Source URL: www.todos-math.org Language: English - Date: 2015-08-16 11:44:01 Philosophy of mathematics Theoretical computer science Mathematics English-language learner Language of mathematics Semiotics Formal language
570	Towards a Theory of Networked Computation Joan Feigenbaum Michael Mitzenmacher Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2009-07-20 13:13:30 Cybernetics Network theory Distributed computing Theory of computation Computer science Computing Computation Network science Actor model Theoretical computer science Networked learning

UPDATE